Science of Logic - PDFSEARCH.IO - Document Search Engine

Science of Logic
Results: 5317

#	Item
581	Appears in the Proceedings of the National Science Foundation Workshop on Next Generation Data Mining, Nov. 2002, Baltimore, MD. Relational Data Mining with Inductive Logic Programming for Link Discovery Raymond J. Moon Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2002-10-21 18:54:24
582	Contextual Validity in Hybrid Logic Patrick Blackburn and Klaus Frovin Jørgensen Department for Philosophy and Science Studies Roskilde University Abstract. Hybrid tense logic is an extension of Priorean tense logic in Add to Reading List Source URL: www.patrickblackburn.org Language: English - Date: 2015-07-16 05:24:42
583	The ∇-Calculus. Functional Programming with Higher-order Encodings. Carsten Sch¨ urmann, Adam Poswolsky, Jeffrey Sarnat Yale University Add to Reading List Source URL: www.itu.dk Language: English - Date: 2004-11-03 09:40:39 Logic in computer science Lambda calculus Models of computation Combinatory logic First-order logic Substitution Symbol Natural deduction
584	Best-First Rippling Moa Johansson, Alan Bundy and Lucas Dixon 1 School of Informatics Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-07-10 06:07:20 Automated theorem proving Mathematics Theoretical computer science Search algorithms Heuristics Rippling Logic IsaPlanner Formal languages Logic in computer science A* search algorithm Mathematical proof
585	Aydin M o hse n i Contact Information address Department of Logic and Philosophy of Science Add to Reading List Source URL: www.socsci.uci.edu Language: English - Date: 2015-09-28 12:42:10
586	Verification of a Cryptographic Primitive: SHA-256 ANDREW W. APPEL, Princeton University A full formal machine-checked verification of a C program: the OpenSSL implementation of SHA-256. This is an interactive proof of f Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2014-12-23 10:16:22 Software engineering Programming language theory Theoretical computer science C++ Logic in computer science Proof assistants Data types SHA-2 Formal verification Separation logic Coq Functional programming
587	Terminating tableau calculi for modal logic K with global counting operators Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky School of Computer Science, The University of Manchester, United Kingdom Michal Zawid Add to Reading List Source URL: www.mettel-prover.org Language: English - Date: 2014-04-01 08:48:03
588	John Byron Manchak Logic and Philosophy of Science University of California, Irvine Education Ph.D. Philosophy, University of California, Irvine, 2009 B.S. Physics, Brigham Young University, 2004 Add to Reading List Source URL: www.lps.uci.edu Language: English - Date: 2015-12-14 17:53:19 Philosophy of science Philosophy Philosophers of science Philosophy of physics Physics American philosophers David Malament General relativity Spacetime Philosophy of space and time Time travel Theoretical physics
589	Delphin: Functional Programming with Deductive Systems Richard Fontana Department of Computer Science Add to Reading List Source URL: www.itu.dk Language: English - Date: 2002-03-22 10:21:52 Logic Declarative programming Software engineering Symbol Standard ML Substitution Model theory
590	Template-based circuit understanding Adri`a Gasc´on∗ , Pramod Subramanyan† , Bruno Dutertre∗ , Ashish Tiwari∗ Dejan Jovanovi´c∗ , Sharad Malik† ∗ SRI International , , Add to Reading List Source URL: yices.csl.sri.com Language: English - Date: 2015-12-11 18:43:06 Computational complexity theory Theoretical computer science Theory of computation Logic in computer science Formal methods Boolean algebra Complexity classes Electronic design automation Satisfiability modulo theories True quantified Boolean formula FO NC

UPDATE